unzip(${\it as}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$map($\lambda$$p$.1of($p$);${\it as}$)$,\,$map($\lambda$$p$.2of($p$);${\it as}$)$\rangle$